Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
971	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
972	Simplify. Collaborate. Predict to act. Analy&cs.For$Anyone. * Be A Add to Reading List Source URL: www.quandatics.com Language: English - Date: 2015-04-14 02:34:16 Business intelligence Formal sciences Cloud infrastructure Cloud computing RapidMiner Research and development ADAPA Apache Hadoop Big data Software Data management Statistics
973	Tal Yarkoni Department of Psychology and Neuroscience University of Colorado Boulder UCB 345 Boulder, COTel: ( Add to Reading List Source URL: pilab.psy.utexas.edu Language: English - Date: 2013-01-22 17:18:14 Neuroscience Knowledge Emerging technologies Data analysis Interdisciplinary fields Psychology Neuroinformatics Data mining Cognitive science Science Formal sciences Technology
974	Advanced Knowledge Practical Skills Professional Views Master of Add to Reading List Source URL: lx2.saas.hku.hk Language: English - Date: 2014-12-02 23:23:49 Insurance Actuarial science Scientific method Formal sciences Mathematical finance Quantitative analyst Actuary Data analysis Doctor of Philosophy Science Statistics Mathematical sciences
975	Application of ILP/RDM to Bioinformatics n n Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2002-08-29 07:04:36 Formal sciences Bioinformatics Genomics Protein methods Protein structure Protein structure prediction Drug design Structure–activity relationship Machine learning Science Biology Medicinal chemistry
976	Army Research Laboratory Technical Implementation Plan 2015 – 2019 U.S. ARMY RESEARCH LABORATORY MISSION: Discover, innovate, and transition science and technology Add to Reading List Source URL: defenseinnovationmarketplace.mil Language: English - Date: 2015-03-03 12:39:02 Formal sciences Parallel computing Computational science Emerging technologies Big data Transaction processing Visual analytics Data mining Computer science Computing Concurrent computing Science
977	A Real Time Hybrid Pattern Matching Scheme for Stock Time Series Zhe Zhang1, Jian Jiang2, Xiaoyan Liu3, Ricky Lau4, Huaiqing Wang4, Rui Zhang3 1,4 Department of Information Systems, City University of Hong Kong, Hong Kon Add to Reading List Source URL: www.ruizhang.info Language: English - Date: 2009-12-09 23:59:37 Formal sciences Financial economics Dynamic time warping Time series analysis Pattern matching Pattern Technical analysis Data mining Correlation and dependence Statistics Dynamic programming Data analysis
978	Head of Analytics, IFB Grade 14 A vacancy has arisen for a Head of Analytics at the IFB. The role will support the delivery of first-class counter fraud services to the UK insurance industry. This role can be based in ei Add to Reading List Source URL: www.insurancefraudbureau.org Language: English - Date: 2015-03-27 10:41:01 Business Formal sciences Credit Analytics Mathematical finance Equifax Experian Financial economics Credit rating agencies Business intelligence
979	Sustained Arctic Observing Networks (SAON) Phase II Survey The Arctic Council has agreed to establish a formal body, in partnership with IASC and WMO, to continue the development of Sustained Arctic Observing Networks ( Add to Reading List Source URL: www.arcticobserving.org Language: English - Date: 2015-03-11 08:56:43 Planetary science International Permafrost Association Permafrost National Snow and Ice Data Center Cryosphere Arctic International Polar Year GOOS Earth sciences Physical geography Earth
980	CIBB 2015: 12th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CNR Research Area, Naples Add to Reading List Source URL: bioinfo.na.iac.cnr.it Language: English - Date: 2015-04-14 11:55:59 Applied mathematics Lasso Bioinformatics Science Biology Machine learning Regularization Formal sciences

UPDATE